1481. Two scoops of Django :
پدیدآورنده: Daniel Roy Greenfeld, Audrey Roy Greenfeld.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Django (Electronic resource),Computer programming.,Programming languages (Electronic computers),Python (Computer program language),Web site development.
1482. Type systems for distributed programs :
پدیدآورنده: Ornela Dardha
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
76
.
V47
1483. Types and programming languages
پدیدآورنده: / Benjamin C. Pierce
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
P54
2002
1484. Types and programming languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ;
1485. Types and programming languages
پدیدآورنده: / Benjamin C. Pierce
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
P54
2002
1486. Types and programming languages
پدیدآورنده: / Benjamin C. Pierce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
P54
,
2002
1487. Typescript Language Specification
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Typescript(Computer program language),Programming languages (Electronic computers),زبانهای برنامه‌نویسی کامپیوتر
رده :
QA
76
.
73
.
T97
2015
E-Book
,
1488. Ubuntu unleashed /
پدیدآورنده: Matthew Helmke, with Andrew Hudson and Paul Hudson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ubuntu (Electronic resource),Ubuntu (Electronic resource),Operating systems (Computers),Operating systems (Computers)
رده :
QA76
.
774
.
U28
1489. Understanding WMI scripting /
پدیدآورنده: Alain Lissoir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Microsoft Windows (Computer file),Microsoft Windows (Computer file),Operating systems (Computers),Programming languages (Electronic computers),COMPUTERS-- Operating Systems-- DOS.,COMPUTERS-- Operating Systems-- Macintosh.,COMPUTERS-- Operating Systems-- Windows Server & NT.,COMPUTERS-- Operating Systems-- Windows Workstation.,COMPUTERS-- System Administration-- Windows Administration.,Operating systems (Computers),Programming languages (Electronic computers)
رده :
QA76
.
76
.
O63
L5548
2003eb
1490. Understanding computers :
پدیدآورنده: Deborah Morley, Charles S. Parker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computadoras.,Computers.,Electronic data processing.
1491. Understanding programming languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ;
1492. Understanding programming languages
پدیدآورنده: Ben-Ari, M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B46
1996
1493. Understanding programming languages
پدیدآورنده: Ben-Ari, M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B46
1996
1494. Understanding programming languages
پدیدآورنده : Ben-Ari, M.,8491-, M. Ben-Ari
موضوع : ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1495. Understanding programming languages
پدیدآورنده: Ben-Ari, M.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B46
1996
1496. User's manual for linear, integer, and quadratic programming with LINDO
پدیدآورنده: Schrage, Linus
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming languages )Electronic computers(
رده :
T
57
.
6
.
L56
S233
1989
1497. Using C on the UNIX system :
پدیدآورنده: David A. Curry
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: UNIX (Computer file),C++ (Computer program language),Operating systems (Computers),Programming languages (Electronic computers)
1498. Using Toolpack Software Tools :
پدیدآورنده: edited by A.A. Pollicini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
1499. Using formal description techniques
پدیدآورنده: / edited by Kenneth J. Turner
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
1500. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده: edited by Kenneth J. Turner
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
